First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
911	227 ARTIFICIAL INTELLIGENCE Linear Resolution with Selection Function Robert Kowalski and Donald Kuehnm Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-12-18 06:42:49 Automated theorem proving Rules of inference Resolution Logic programming Propositional calculus First-order logic Derivation SLD resolution SL Logic Mathematical logic Theoretical computer science
912	The Semantics of Predicate Logic as a Programming Language M. H. VAN E M D E N A N D R. A. K O W A L S K I Umverslty of Edinburgh, Edmburgh. Scotland ABSTRACT Sentences in first-order predicate logic can be usefully inte Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:56:03 Metalogic Term algebra Interpretation FO First-order logic Kripke semantics Combinatory logic Logic Mathematical logic Model theory
913	~ LnKTAZI£U 9~ ~Ed~ Robert K~als~i Department o f Cclpuing Imperial College Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:56:26 Non-classical logic Philosophical logic Model theory Predicate logic Formal languages First-order logic Modal logic Interpretation Fuzzy logic Logic Mathematical logic Mathematics
914	c 2012 IEEE[removed]27th Annual ACM/IEEE Symposium on Logic in Computer Science Logics of Dynamical Systems (Invited Paper) Andr´e Platzer Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-06-17 15:56:34 Propositional calculus Formal languages Model theory Formation rule Logical truth Symbol Constructible universe First-order logic Dynamical system Logic Mathematical logic Predicate logic
915	Global Supervenience and Identity across Times and Worlds∗ Theodore Sider Philosophy and Phenomenological Research[removed]): 913–937 Add to Reading List Source URL: tedsider.org Language: English - Date: 2010-07-28 16:02:58 Physicalism Ontology Supervenience Jaegwon Kim Identity of indiscernibles First-order logic Possible world Isomorphism Equivalence of categories Metaphysics Philosophy Mathematics
916	CARNEGIE MELLON ETPS: A System to Help Students Write Formal Proofs by Peter B. Andrews Carnegie Mellon University Add to Reading List Source URL: gtps.math.cmu.edu Language: English - Date: 2003-05-01 14:59:12 Mathematical proofs Predicate logic Peter B. Andrews Theorem Proving System First-order logic Direct proof Universal quantification KeY Function Mathematics Logic Mathematical logic
917	Anti-Realist Classical Logic and Realist Mathematics Greg Restall School of Philosophy, Anthropology and Social Inquiry The University of Melbourne October 13, 2009 Add to Reading List Source URL: consequently.org Language: English - Date: 2009-10-13 01:54:21 Semantics Proof theory Quantification Propositional calculus First-order logic Interpretation Intuitionistic logic Well-formed formula Atomic formula Logic Mathematical logic Predicate logic
918	Models for Substructural Arithmetics Greg Restall School of Philosophy The University of Melbourne1 [removed] http://consequently.org/writing/mfsa Add to Reading List Source URL: consequently.org Language: English - Date: 2007-06-26 05:31:00 Model theory Non-classical logic Algebraic structures Equivalence relation Philosophical logic Congruence relation Peano axioms First-order logic Relevance logic Logic Mathematical logic Mathematics
919	TPS: A Theorem Proving System for Classical Type Theory Peter B. Andrews1, Matthew Bishop2, Sunil Issar3, Dan Nesmith4, Frank Pfenning5, Hongwei Xi6 Abstract Add to Reading List Source URL: gtps.math.cmu.edu Language: English - Date: 2003-05-01 16:06:08 Proof theory Logical syntax Logical truth Automated theorem proving Peter B. Andrews Mathematical proof First-order logic Formal proof Proof procedure Logic Mathematics Mathematical logic
920	Barriers to Implication Greg Restall Gillian Russell Philosophy Department Add to Reading List Source URL: consequently.org Language: English - Date: 2009-01-07 08:48:35 Philosophical logic Metalogic Propositional calculus Modal logic Non-classical logic Interpretation Entailment First-order logic Structure Logic Philosophy Model theory

UPDATE